Access/CPN 2.0: A High-Level Interface to Coloured Petri Net Models
نویسنده
چکیده
This paper introduces Access/CPN 2.0, which extends Access/CPN with high-level primitives for interacting with coloured Petri net (CPN) models in Java programs. The primitives allow Java programs to monitor and interact with places and transitions during execution, and embed entire programs as subpages of CPN models or embed CPN models as parts of programs. This facilitates building environments for systematic testing of program components using a CPN models. We illustrate the use of Access/CPN 2.0 in the context of business processes by embedding a workflow system into a CPN model.
منابع مشابه
A Case Study on Coloured Petri Nets in Object-Oriented Analysis and Design
In this paper, we first demonstrate how a coloured Petri nets (CPN) model can be used to capture requirements for a considered example system, an elevator controller. Then, we show how this requirements-level CPN model is transformed into a design-level object-oriented CPN model, which is structurally and conceptually closer to class diagrams and object-oriented programming languages. The CPN m...
متن کاملProcedural Constraints in the Extended RBAC and the Coloured Petri Net Modeling
Formal methods help the development of secure systems by reducing ambiguities in security policy specifications and providing mathematical verification tools. By the formal verification, it is possible to confirm security related properties hold in a system. In this paper, we propose an interpretation of Coloured Petri Net(CPN) [1], [2] with security considerations for the formal specification ...
متن کاملSome Rules to Transform Sequence Diagrams into Coloured Petri Nets
Abstract. This paper presents a set of rules that allows software engineers to transform the behavior described by a UML 2.0 Sequence Diagram (SD) into a Colored Petri Net (CPN). SDs in UML 2.0 are much richer than in UML 1.x, namely by allowing several traces to be combined in a unique diagram, using high-level operators over interactions. The main purpose of the transformation is to allow the...
متن کاملTextual Interchange Format for High-level Petri Nets
In this paper a text format for High-level Petri Net (HLPN) diagrams is presented. The text format is designed to serve as a platform-independent le format for the Design/CPN tool. It is consistent with the forthcoming standard for High-level Petri Nets. The text format may also be seen as our contribution to the development of an open, tool-independent interchange format for High-level Petri n...
متن کاملWorkflow Modeling and Execution with Coloured Petri Nets in COSM
Modern distributed organisations use data communication increasingly fast, globally and at decreasing costs. Such developments facilitate flexible access to decentralized services in open networks and also allow coordination of complex interorganizational tasks as distributed applications. This paper describes concepts and recent extensions to the distributed systems architecture COSM (Common O...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011